#include <dde_kit/panic.h>

#include <eku/stdio.h>
#include <inc/stdarg.h>

void
dde_kit_panic(const char *fmt, ...)
{
	 va_list ap;
	 va_start(ap, fmt);
	 vprintf(fmt, ap);
	 printf("\n");
	 va_end(ap);
panic_dead:
	 while (1) { }

}

void
dde_kit_debug(const char *fmt, ...)
{
	 va_list ap;
	 va_start(ap, fmt);
	 vprintf(fmt, ap);
	 printf("\n");
	 va_end(ap);
}

#include <eku/symbol.h>

void
dde_kit_panic_symbol(void)
{
	 export_symbol("dde_kit_panic", &dde_kit_panic, 1);
	 export_symbol("dde_kit_debug", &dde_kit_debug, 1);
}
